"""
识别出年分，加十即可
"""
a, b, c = input().split('-')
a = int(a)
a += 10
a = str(a)
print(a + '-' + b + '-' + c)